- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by David C. Cooper
9 found
Order:
- James R. Slagle. Experiments with a deductive question-answering program. Communications of the ACM, vol. 8 , pp. 792–798. [REVIEW]David C. Cooper - 1970 - Journal of Symbolic Logic 35 (4):596.
- Review: Hao Wang, The Mechanization of Mathematical Arguments. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):120-120.Export citation
Bookmark - Review: Hao Wang, P. Braffort, D. Hirschberg, Mechanical Mathematics and Inferential Analysis. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):120-120.Export citation Bookmark
- Review: Hao Wang, Proving Theorems by Pattern Recognition I. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):119-120.Export citation Bookmark
- Review: James R. Slagle, Philip Bursky, Experiments with a Multipurpose, Theorem-Proving Heuristic Program. [REVIEW]David C. Cooper - 1970 - Journal of Symbolic Logic 35 (4):596-596.
- Review: James R. Slagle, Experiments with a Deductive Question-Answering Program. [REVIEW]David C. Cooper - 1970 - Journal of Symbolic Logic 35 (4):596-596.
- Wang Hao. Mechanical mathematics and inferential analysis. Computer programming and formal systems, edited by Braffort P. and Hirschberg D., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1963, pp. 1–20. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):120-120.
- Wang Hao. Proving theorems by pattern recognition I. Communications of the Association for Computing Machinery, vol. 3 , pp. 220–234.Wang Hao. Proving theorems by pattern recognition—II. The Bell system technical journal, vol. 40 , pp. 1–41. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):119-120.
- Wang Hao. The mechanization of mathematical arguments. Experimental arithmetic, high speed computing and mathematics, Proceedings of symposia in applied mathematics, vol. 15, American Mathematical Society, Providence 1963, pp. 31–40. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):120-120.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-c9g8x uwo